PENGEMBANGAN RPP MATEMATIKA SCIENTIFIC

Közgazdasági és pénzügyi matematika

A közgazdaságtan a társadalom gazdasági folyamatait elemzi. Egy bevezetésben célszerű a részletek mellőzésével az egész közgazdaságtant áttekinteni. A közgazdaságtan magva a mikroökonómia, amely a fogyasztók és a vállalatok döntéseit adott gazdasági keretek mellett vizsgálja. Bemutatja, hogy a profitmaximalizáló vállalatok és a hasznosságmaximalizáló egyének összjátékából hogyan alakul ki a pia...

RPP: Automatic Proof of Relational Properties by Self-composition

Modular deductive verification provides a sound and powerful technique to establish that any call to a given function respects its given specification. However, relational properties, i.e. properties relating several function calls, are not supported. This short paper presents an original automated technique for specification and verification of such properties using the classic deductive verif...

Pengembangan Sistem Penciuman Elektronik Dalam Mengenal Aroma Campuran

C-BLAST system is detection algorithm of the MIMO (Multplei-Input Multiple Output) systems that is designed to achieve good multiplexing gain. In the C-BLAST systems, every antenna transmits has its own independently coded with power control. In this paper we use MMSE (Minimum Mean Square Error) detection to achieve the performance of error rate for the C-BLAST systems. Simulation results show ...

Ictal Rpp - a Supplement to Cuff Method in Detecting Ect-induced Cerebral Seizure

During electroconvulsive therapy (ECT), occurrence of seizure must be confirmed. Cuff method, although simple and reliable, can sometimes miss an adequate EEG seizure. Predictable cardiovascular response occurs during ECT seizure. We examined if this can be an additional guide to detect cerebral seizure. In 164 modified ECT sessions, EEG and cuff methods were used for seizure monitoring. Heart ...

Scientific Lectures